#ifndef __ACPI_APP_H__
#define __ACPI_APP_H__

#include <Uefi.h>

#define   ACPI_BEGIN_ADDRESS  0xE0000
#define   ACPI_END_ADDRESS    0xFFFFF

#define   ACPI_RSDP_SIGNATURE  SIGNATURE_64('R', 'S', 'D', ' ', 'P', 'T', 'R', ' ')
#define   ACPI_RSDT_SIGNATURE  SIGNATURE_32('R', 'S', 'D', 'T')
#define   ACPI_XSDT_SIGNATURE  SIGNATURE_32('X', 'S', 'D', 'T')

UINT8 *
GetRSDPPointer ();


EFI_STATUS
GetXRSDTPointer (
  OUT UINT8 **RSDTPointer,
  OUT UINT8 **XRSDTPointer
  );

VOID
ListOtherTalbeByRSDT ();

VOID
ListOtherTalbeByXSDT ();

#endif